1 of 35 2 of 35 TABLE OF CONTENTS ABOUT THE AUTHOR

Source URL: www.bitcoin.kn

• Cryptocurrencies
• Bitcoin
• Economy
• Money
• Alternative currencies
• Finance
• Digital currencies
• Decentralization
• Blockchain.info
• Blockchain
• Economics of bitcoin
• Draft:Bitcoin Anonymity

Learning to Decipher the Heap for Program Verification Marc Brockschmidt1 , Yuxin Chen2 , Byron Cook3 , Pushmeet Kohli1 , Daniel Tarlow1 1 Microsoft Research 2 ETH Zurich 3 University College London

Source URL: www.cs.toronto.edu

• Data types
• Computing
• Theoretical computer science
• Software engineering
• Heap
• Tree
• Separation logic
• Variable
• Parse tree
• Logic programming
• Linked list

System Description: GAPT 2.0? Gabriel Ebner1 , Stefan Hetzl1 , Giselle Reis2 , Martin Riener3 , Simon Wolfsteiner1 , and Sebastian Zivota1 1 Vienna University of Technology

Source URL: www.logic.at

• Mathematical logic
• Theoretical computer science
• Automated theorem proving
• Mathematics
• Proof theory
• Logic in computer science
• Formal methods
• Automated reasoning
• Proof assistant
• Proof complexity
• Reasoning system
• Isabelle

Pareto Curves for Probabilistic Model Checking Vojtˇech Forejt1 , Marta Kwiatkowska1 , and David Parker2 1 2 Department of Computer Science, University of Oxford, UK

Source URL: qav.comlab.ox.ac.uk

• Linear temporal logic
• Temporal logic
• Symbol
• FO
• Differential topology
• operator

Poster: A Reputation-Based Resilient P2P Botnet Jie Yin1,2, Xiang Cui1,2, Ke Li3 1 2 Institute of Information Engineering, Chinese Academy of Sciences

Source URL: www.ieee-security.org

• Concurrent computing
• Computer network security
• Multi-agent systems
• Spamming
• Computing
• Cybercrime
• Distributed computing
• Malware
• Botnet
• Peer-to-peer
• Social peer-to-peer processes

Verifiable Delay Functions Dan Boneh1 , Joseph Bonneau2 , Benedikt B¨ unz1 , and Ben Fisch1 1 2

Source URL: eprint.iacr.org

• Complexity classes
• Cryptography
• Control flow
• Eval
• Computing
• Verifiable secret sharing
• Verifiable random function
• Digital signature
• NP
• NC

Kobayashi, T., & Boase, JNo such effect? The implications of measurement error in self-report measures of mobile communication use. Communication Methods and Measures, 6(2), 1-18. Published version available on

Source URL: individual.utoronto.ca

• Mobile technology
• Technology
• Information and communications technology
• Mobile telecommunications
• Gmail
• Text messaging
• Cross-platform software
• Webmail
• Mobile phone
• Mobile telephony
• SMS
• Opinion poll

Technische Weisung - Übermittlungsform statistischer Daten_Version 1.2.doc

Source URL: www.snb.ch

• Cryptography
• Computing
• Cyberspace
• Email authentication
• Swiss National Bank
• Public-key cryptography
• S/MIME
• Email
• Simple Mail Transfer Protocol
• Encryption
• Mail
• SNB

Teaching Programming Languages by Experimental and Adversarial Thinking∗ Justin Pombrio1 , Shriram Krishnamurthi2 , and Kathi Fisler3 1 2

Source URL: cs.brown.edu

• Software engineering
• Computing
• Computer programming
• Functional languages
• Programming languages
• Object-oriented programming languages
• Cross-platform software
• Scripting languages
• Programming language
• Assignment
• Programming paradigm
• Semantics

Allgemeine Geschäftsbedingungen der ITEMIS AG für die Software-Überlassung itemis AG Version 2.0.1, Allgemeine Geschäftsbedingungen der ITEMIS AG für die Software-Überlassung

Source URL: legal.itemis.com